The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

Gómez Pereira's Antoniana Margarita (1554) represents one of the most original works of his time. Its author develops some issues of great impact in later philosophy, such as animal automatism, soul-body radical separation and self-awareness.

This collection of essays on themes in the work of John Locke , George Berkeley , and David Hume , provides a deepened understanding of major issues raised in the Empiricist tradition. In exploring their shared belief in the experiential nature of mental constructs, The Empiricists illuminates the different methodologies of these great Enlightenment philosophers and introduces students to important metaphysical and epistemological issues including the theory of ideas, personal identity, and skepticism. It will be especially useful in courses devoted (...) to the history of modern philosophy. (shrink)

Background: The magnitude of bullying and harassment among psychiatrists is reportedly high, yet no peer-review published studies addressing this issue could be found. Therefore, it was decided to conduct a pilot study to assess the degree of the problem, the types of bullying/harassment and to provide some insights into the situation.Methods and Principal Findings: Following multiple focus group meetings, a yes/no response type questionnaire was developed to assess the degree and type of bullying and harassment experienced by psychiatrists. Over a (...) 3-month period the questionnaire was administered to a random sample of 60 psychiatrists. 57 out of the 60 psychiatrists reported harassment and bullying. Frequencies of the following response variables are presented in descending order: rumours 40% ; defamation 20% ; passing remarks 20% ; false accusations 15% ; threats 13.3% ; verbal abuse 13.3% ; unjustified complaints 13.3% ; promotion blocked 13.3% ; humiliation 13% ; bad reference given 10% ; credentials questioned 8.3% ; physical attacks 5% ; termination 5% ; derogatory remarks 1.7% and 1.7% were subjected to personal work. As a result of being subjected to harassment, 66.7% of the psychiatrists did not take any action, whereas 33.3% confronted the person they believed responsible. Asked whether the bullying and harassment caused distress, 18.3% of the psychiatrists did not report any effect, 30% reported mild distress, 40% moderate distress and severe distress was reported by 11.7%.Conclusions: It was concluded that the magnitude of bullying and harassment among psychiatrists may be quite high, as evidenced by this pilot study. There is a need for extensive systematic studies on this subject and to establish strategies to prevent and address this issue at a national and regulatory level. (shrink)

1. The present paper is a continuation of my “Self-Ownership, World Ownership, and Equality,” which began with a description of the political philosophy of Robert Nozick. I contended in that essay that the foundational claim of Nozick's philosophy is the thesis of self-ownership, which says that each person is the morally rightful owner of his own person and powers, and, consequently, that each is free to use those powers as he wishes, provided that he does not deploy them aggressively against (...) others. To be sure, he may not harm others, and he may, if necessary, be forced not to harm them, but he should never be forced to help them, as people are in fact forced to help others, according to Nozick, by redistributive taxation. (shrink)

The concept of service found in Christian theism and related religious perspectives offers robust support for a political defense of nonhuman animal rights, both in the eschaton and in the present state. By adapting the political theory defended by Donaldson and Kymlicka to contemporary theological models of the afterlife and of human agency, I defend a picture of heaven as a harmoniously structured society where humans are the functional leaders of a multifaceted, interspecies citizenry. Consequently, orthodox religious believers (concerned with (...) promoting God’s will “on Earth as it is in Heaven”) have a duty to promote and protect the interests of nonhuman creatures in the present, premortem state. (shrink)

The logical status of abstraction principles, and especially Hume’s Principle, has been long debated, but the best currently availeble tool for explicating a notion’s logical character—permutation invariance—has not received a lot of attention in this debate. This paper aims to fill this gap. After characterizing abstraction principles as particular mappings from the subsets of a domain into that domain and exploring some of their properties, the paper introduces several distinct notions of permutation invariance for such principles, assessing the philosophical significance (...) of each. (shrink)

This book presents G. A. Cohen's Gifford Lectures, delivered at the University of Edinburgh in 1996. Focusing on Marxism and Rawlsian liberalism, Cohen draws a connection between these thought systems and the choices that shape a person's life. In the case of Marxism, the relevant life is his own: a communist upbringing in the 1940s in Montreal, which induced a belief in a strongly socialist egalitarian doctrine. The narrative of Cohen's reckoning with that inheritance develops through a series of sophisticated (...) engagements with the central questions of social and political philosophy. In the case of Rawlsian doctrine, Cohen looks to people's lives in general. He argues that egalitarian justice is not only, as Rawlsian liberalism teaches, a matter of rules that define the structure of society, but also a matter of personal attitude and choice. Personal attitude and choice are, moreover, the stuff of which social structure itself is made. Those truths have not informed political philosophy as much as they should, and Cohen's focus on them brings political philosophy closer to moral philosophy, and to the Judeo-Christian ethical tradition, than it has recently been. (shrink)

Some ways of defending inequality against the charge that it is unjust require premises that egalitarians find easy to dismiss—statements, for example, about the contrasting deserts and/or entitlements of unequally placed people. But a defense of inequality suggested by John Rawls and elaborated by Brian Barry has often proved irresistible even to people of egalitarian outlook. The persuasive power of this defense of inequality has helped to drive authentic egalitarianism, of an old-fashioned, uncompromising kind, out of contemporary political philosophy. The (...) present essay is part of an attempt to bring it back in. (shrink)

You might think that, if you make a law, then that law binds you, because you made it. For, if you will the law, then how can you deny that it binds you, without contradicting your own will? But you might also think the opposite. You might think that, if you are the author of the law, then it cannot bind you. For how can it have authority over you when you have authority over it? How can it bind you (...) when you, the lawmaker, can change it, at will, whenever you like?Now, in that pair of arguments mutually contradictory conclusions are drawn from the selfsame premiss: the premiss that you make the law. So at least one of the arguments is invalid. But, even if they are both invalid, they might still be unignorable, because they might have elements of truth in them. They might be healthy argument–embryos out of which sound arguments could develop. And, whatever else is true, each of the arguments is sufficiently persuasive that, mutually contradictory though they are, each was affirmed in Hobbes’s Leviathan, in much the form in which I just stated them.There are, by my count, four arguments in Hobbes for the conclusion that the citizen is obliged to obey the law. Three of the arguments don’t matter here. (shrink)

Материалы конференции предназначены для специалистов.

Causal accounts of perception are often believed to lead inevitably to the conclusion that we only indirectly perceive things. The paper argues that there are no incompatibilities between accepting causal accounts of perception (e.G., Many scientific explanations of perception) and holding that we directly perceive physical objects, Without the mediation of sense data. Further, There are strong analogical arguments which support the view that talk of causal accounts of perception is consistent with the philosophical position of direct realism.

In ?The Labour Theory of Value and the Concept of Exploitation? I distinguished between two ways in which the labour theory of value is formulated, both of which are common. In the popular formulation, the amount of value a commodity has depends on how much labour was spent producing it. In the strict formulation, which is so called because it formulates the labour theory of value proper, the amount of value a commodity has depends on nothing about its history but (...) only on how much labour would (now) be required to produce something just like it. I argued that strict and popular formulations are often wrongly treated as substantially equivalent, and that the practice of conflating them sustains two false impressions: that the labour theory of value is a basis for saying that capitalists exploit workers, and that the labour theory of value is true. The present paper is a reply to Nancy Holmstrom's recent attempt, in ?Marx and Cohen on Exploitation and the Labor Theory of Value?, to refute the theses of the article referred to above. (shrink)

Classical temples in ancient Greece show two deterministic illusionistic principles of architecture, which govern their functional design: geometric proportionalism and a set of illusion-strengthening rules in the proportionalism's stochastic margin. Animal morphology, in its mechanistic-deductive revival, applies just one architectural principle, which is not always satisfactory. Whether a Greek Classical situation occurs in the architecture of living structure is to be investigated by extreme testing with deductive methods.Three deductive methods for explanation of living structure in animal morphology are proposed: the (...) parts, the compromise, and the transformation deduction. The methods are based upon the systems concept for an organism, the flow chart for a functionalistic picture, and the network chart for a structuralistic picture, whereas the optimal design serves as the architectural principle for living structure. These methods show clearly the high explanatory power of deductive methods in morphology, but they also make one open end most explicit: neutral issues do exist. (shrink)